Buy Used and New Christel Baier Books

Results for Christel Baier

Showing 1 to 8 of 8 results
Principles of Model Checking (The MIT Press) Principles of Model Checking (The MIT Press) by Christel Baier,Joost-Pieter Katoen

Principles of Model Checking (The MIT Press)

by Christel Baier,Joost-Pieter Katoen


ISBN 13: 9780262026499

Format: Illustrated (975 pages)
Publisher: The MIT Press
Published: 03 Jun 2008

Save for later

 
New : $104.66  
New : $104.66
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science) SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science) by Bernhard Steffen,Christel Baier,Mark van den Brand,Johann Eder,Mike Hinchey,Tiziana Margaria

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science)

by Bernhard Steffen,Christel Baier,Mark van den Brand,Johann Eder,Mike Hinchey,Tiziana Margaria


ISBN 13: 9783319519623

Format: Paperback (544 pages)
Publisher: Springer
Published: 04 Feb 2017

Save for later

 
New : $82.05  
New : $82.05